Nuprl Definition : es-before
11,40
postcript
pdf
before(
e
)
== if es-first(
es
;
e
) then [] else append(before(es-pred(
es
;
e
)); cons(es-pred(
es
;
e
); [])) fi
clarification:
es-before(
es
;
e
)
== if es-first(
es
;
e
)
==
then []
==
else append(es-before(
es
; es-pred(
es
;
e
)); cons(es-pred(
es
;
e
); []))
==
fi
(recursive)
latex
Definitions
es-pred(
es
;
e
)
,
append(
as
;
bs
)
,
es-first(
es
;
e
)
,
if
b
then
t
else
f
fi
,
Y
FDL editor aliases
es-before
origin